home *** CD-ROM | disk | FTP | other *** search
/ Aminet 30 / Aminet 30 (1999)(Schatztruhe)[!][Apr 1999].iso / Aminet / dev / lang / SmallEiffel.lha / SmallEiffel / lib_se / parser_buffer.e < prev    next >
Text File  |  1998-12-22  |  3KB  |  128 lines
  1. --          This file is part of SmallEiffel The GNU Eiffel Compiler.
  2. --          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
  3. --            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr 
  4. --                       http://www.loria.fr/SmallEiffel
  5. -- SmallEiffel is  free  software;  you can  redistribute it and/or modify it 
  6. -- under the terms of the GNU General Public License as published by the Free
  7. -- Software  Foundation;  either  version  2, or (at your option)  any  later 
  8. -- version. SmallEiffel is distributed in the hope that it will be useful,but
  9. -- WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
  10. -- or  FITNESS FOR A PARTICULAR PURPOSE.   See the GNU General Public License 
  11. -- for  more  details.  You  should  have  received a copy of the GNU General 
  12. -- Public  License  along  with  SmallEiffel;  see the file COPYING.  If not,
  13. -- write to the  Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  14. -- Boston, MA 02111-1307, USA.
  15. --
  16. class PARSER_BUFFER
  17.    
  18. inherit GLOBALS;
  19.    
  20. creation make
  21.    
  22. feature
  23.  
  24.    path: STRING;
  25.      -- When `is_ready', gives the `path' of the corresponding 
  26.      -- buffered file.
  27.    
  28.    count: INTEGER;
  29.      -- Number of lines in the source file.
  30.    
  31. feature {NONE}
  32.    
  33.    text: FIXED_ARRAY[STRING] is
  34.      -- To store the complete file to parse. Each line 
  35.      -- is one STRING without the '%N' end-of-line mark.
  36.       once
  37.      !!Result.with_capacity(4096);
  38.       end;
  39.  
  40. feature {NONE}
  41.    
  42.    make is
  43.       do
  44.       end;
  45.  
  46. feature
  47.  
  48.    is_ready: BOOLEAN is
  49.       do
  50.      Result := path /= Void;
  51.       end;
  52.  
  53. feature {SMALL_EIFFEL,EIFFEL_PARSER}
  54.  
  55.    load_file(a_path: STRING) is
  56.      -- Try to load `a_path' and set `is_ready' when corresponding
  57.      -- file has been loaded.
  58.       local
  59.      i: INTEGER;
  60.       do
  61.      tmp_file_read.connect_to(a_path);
  62.      if tmp_file_read.is_connected then
  63.         path := a_path;
  64.         from
  65.            if get_line(0) /= Void then
  66.           -- unused line.
  67.            end;
  68.            i := 1;
  69.            tmp_file_read.read_line_in(get_line(i));
  70.         until
  71.            tmp_file_read.end_of_input
  72.         loop
  73.            i := i + 1;
  74.            tmp_file_read.read_line_in(get_line(i));
  75.         end;
  76.         if text.item(i).empty then
  77.            count := i - 1;
  78.         else
  79.            count := i;
  80.         end;
  81.         tmp_file_read.disconnect;
  82.      else
  83.         path := Void;
  84.      end;
  85.       end;
  86.    
  87.    unset_is_ready is
  88.       do
  89.      path := Void;
  90.       end;
  91.    
  92. feature {EIFFEL_PARSER}
  93.    
  94.    item(line: INTEGER): STRING is
  95.       require 
  96.      is_ready;
  97.      1 <= line;
  98.      line <= count
  99.       do
  100.      Result := text.item(line);
  101.       ensure
  102.      Result /= Void
  103.       end;
  104.    
  105. feature {NONE}
  106.    
  107.    get_line(i: INTEGER): STRING is
  108.       require
  109.      i >= 0
  110.       do
  111.      if i <= text.upper then
  112.         Result := text.item(i);
  113.         Result.clear;
  114.      else
  115.         !!Result.make(medium_line_size);
  116.         text.add_last(Result);
  117.      end;
  118.       ensure
  119.      Result.empty;
  120.      Result.capacity >= medium_line_size;
  121.      text.item(i) = Result
  122.       end;
  123.  
  124.    medium_line_size: INTEGER is 80;
  125.  
  126. end -- PARSER_BUFFER
  127.  
  128.